<script type="text/javascript">
var disqus_identifier = 'stat_t';
var disqus_title = 'Boost.AFIO stat_t';
</script>
